// JavaScript Document

function cambiarLateral(a,b) {//para cambiar class del menu lateral
	if( document.getElementById(a) ){
		document.getElementById(a).className=b;
	}
}